1. A science of operations
پدیدآورنده: Mark Priestley.,Priestley, Mark
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
رده :
QA76
.
6
.
P73
2011
2. A science of operations
پدیدآورنده: Mark Priestley
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
3. First-order dynamic logic
پدیدآورنده: Harel, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
4. First-order dynamic logic
پدیدآورنده: Harel, David
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
5. Introduction to logic programming
پدیدآورنده: Hogger, Christorpher John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H624
1984
6. Les mathematiques a la portee de l'ordinateur
پدیدآورنده: / Pref de J. Kuntzmann
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical,Programming languages (Electronic computers)
رده :
Q
335
.
A75
7. Logic and computer science
پدیدآورنده: / S. Homer... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
8. Logic of Domains
پدیدآورنده: Guo-Qiang Zhang
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
9. Logic of domains
پدیدآورنده: Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
10. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
11. Logics of specification languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
12. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
13. Mathematical logic and programming language
پدیدآورنده: Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
14. Mathematical logic and programming languages
پدیدآورنده: / edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
15. Mathematical logic and programming languages
پدیدآورنده: / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
16. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
17. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده: Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
18. Temporal logic of programs
پدیدآورنده: / Fred Kroger
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
19. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
20. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
